红外碳硫分析仪测定耐火材料中碳化硅的含量

采用红外碳硫仪测定耐火材料中碳化硅的含量,选用多元助熔剂(LHDY01),缩短了操作时间,测定结果的相对标准偏差小于1.0%(n=8)。用该方法对两种碳化硅耐火材料样品进行测定,测定结果分别为16.16%,15.64%,与化学法测定结果 (15.99%,15.38%)相符合。该方法的精确度满足化学分析要求。     

用自行设计的自动分析系统测定高含量SO3--对硫酸钡浊度测定法的改进

为了解决湿法磷酸生产中高含量SO3的测定,对硫酸钡浊度测定法的反应条件进行了改进,并自行设计制造了自动化的分析系统。测定时样品由蠕动泵(P)推入酸化盘管(AC)中进行酸化和稀释,由定量环(Sv)取样25μL,注入反应系统。在第一反应盘管(RC1)中,SO3与第一混合试剂中的BaCl2溶液反应生成BaSO4悬浊液,该溶液中的聚乙二醇-4000(PEG-4000)和乙醇通过协同作用避免了BaSO4颗粒的团聚,降低粒子间的相互作用,使BaSO4的生成减少,降低了测定的灵敏度,提高了稳定性。在第二反应盘管(RC2)中,BaSO4与第二混合试剂中的NH3·H2O/乙二胺四乙酸二钠(Na2EDTA)溶液发生络合反应同时被Na2EDTA包裹,进一步降低其灵敏度。最后反应溶液进入流通式光度检测器,在680.0nm波长处测试BaSO4悬浊液的吸光度。经优化试验条件,上述第一混合试剂中3种组分的质量分数或体积分数为:BaCl24%,PEG-4000 3%和乙醇2%;第二混合试剂中Na2EDTA的质量分数为6%,NH3·H2O的体积分数为6%。对实际按本方法及重量法分析进行测定,两种方法所得结果的相对偏差在±2%以内,且不受共存的高含量PO43-和F-的干扰。     

A Light‐up Logic Platform for Selective Recognition of Parallel G‐Quadruplex Structures via Disaggregation‐Induced Emission

The design of turn‐on dyes with optical signals sensitive to the formation of supramolecular structures provides fascinating and underexplored opportunities for G‐quadruplex (G4) DNA detection and characterization. Here, we show a new switching mechanism that relies on the recognition‐driven disaggregation (on‐signal) of an ultrabright coumarin‐quinazoline conjugate. The synthesized probe selectively lights‐up parallel G4 DNA structures via the disassembly of its supramolecular state, demonstrating outputs that are easily integrable into a label‐free molecular logic system. Finally, our molecule preferentially stains the G4‐rich nucleoli of cancer cells.     

DNA‐Based Adaptive Plasmonic Logic Gates

Self‐assembled plasmonic logic gates that read DNA molecules as input and return plasmonic chiroptical signals as outputs are reported. Such logic gates are achieved on a DNA‐based platform that logically regulate the conformation of a chiral plasmonic nanostructure, upon specific input DNA strands and internal computing units. With systematical designs, a complete set of Boolean logical gates are realized. Intriguingly, the logic gates could be endowed with adaptiveness, so they can autonomously alter their logics when the environment changes. As a demonstration, a logic gate that performs AND function at body temperature while OR function at cold storage temperature is constructed. In addition, the plasmonic chiroptical output has three distinctive states, which makes a three‐state molecular logic gate readily achievable on this platform. Such DNA‐based plasmonic logic gates are envisioned to execute more complex tasks giving these unique characteristics.     

Enzyme-free and DNA-based universal platform for the construction of various logic devices based on graphene oxide and G-quadruplex

In the fields of biocomputing and biomolecular, DNA molecules are applicable to be regarded as data of logical computing platform that uses elaborate logic gates to perform a variety of tasks. Graphene oxide (GO) is a type of novel nanomaterial, which brings new research focus to materials science and biosensors due to its special selectivity and excellent quenching ability. G-quadruplex as a unique DNA structure stimulates the intelligent application of DNA assembly on the strength of its exceptional binding activity. In this paper, we report a universal logic device assisted with GO and G-quadruplex under an enzyme-free condition. Integrated with the quenching ability of GO to the TAMRA (fluorophore, Carboxytetramethylrhodamine) and the enhancement of fluorescence intensity produced by the peculiar binding of G-quadruplex to the NMM (N-methylmesoporphyrin IX), a series of basic binary logic gates (AND. OR. INHIBIT. XOR) have been designed and verified through biological experiments. Given the modularity and programmability of this strategy, two advanced logic gates (half adder and half subtractor) were realized on the basis of the same work platform. The fluorescence signals generated from different input combinations possessed satisfactory results, which provided proof of feasibility. We believe that the proposed universal logical platform that operates at the nanoscale is expected to be utilized for future applications in molecular computing as well as disease diagnosis.     

Development and construction of rotating polarizer analyzer ellipsometer

A detailed mathematical derivation and an experimental characterization of one to two ratio rotating polarizer analyzer ellipsometer (RPAE) are presented. The alignment, calibration, and testing of reference samples are also discussed. The optical properties of some known materials obtained by the proposed ellipsometer will be shown and compared to accepted values. Moreover, the constructed ellipsometer will be tested using two ellipsometry standards with different thicknesses.     

模糊逻辑在机器人逆运动学求解中的应用

冗余机器人逆运动学求解的方法很多，多数都不能很好的满足实时控制的要求，本文运用模糊逻辑的思想，构造了一种逆运动学求解方法，其计算量较其它方法大大减小，且满足实时控制的要求，仿真结果也证明了该方法的可行性。     

Decidability of Some Classes of Modal Logic

We describe a modal sequential calculus some modal rules of which do not contain duplications of the main formula. We also prove its equivalence to the modal calculus S4 and the decidability of some classes of formulas containing only oneplace predicate variables.     

Glivenko Classes of Sequents for Temporal Logic with Time Gaps

Let LB be a sequent calculus of the first-order classical temporal logic TB with time gaps. Let, further, LBJ be the intuitionistic counterpart of LB. In this paper, we consider conditions under which a sequent is derivable in the calculus LBJ if and only if it is derivable in the calculus LB. Such conditions are defined for sequents with one formula in the succedent (purely Glivenko -classes) and for sequents with the empty succedent (Glivenko -classes).     

A Graded Quadrivalent Logic for Ordinal Preference Modelling: Loyola–Like Approach

We extend a quadrivalent logic of Belnap to graded truth values in order to handle graded relevance of positive and negative arguments provided in preferential information concerning ranking of a finite set of alternatives. This logic is used to design the preference modelling and exploitation phases of decision aiding with respect to the ranking problem. The graded arguments are presented on an ordinal scale and their aggregation leads to preference model in form of four graded outranking relations (true, false, unknown and contradictory). The exploitation procedure combines the min-scoring procedure with the leximin rule. Aggregation of positive and negative arguments as well as exploitation of the resulting outranking relations is concordant with an advice given by St. Ignatius of Loyola (1548) how to make a good choice.